1. Logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse

by Benthem, John Van.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Springer, 1991Availability: Items available for loan: [Call number: 115 BEN] (1).
2. First-order modal logic

by Fitting, Melvin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Kluwer Academic Publishers, 1998Availability: Items available for loan: [Call number: 160 FIT] (1).
3. Dynamic epistemic logic

by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Netherlands: Springer, 2007Availability: No items available Checked out (1).
4. Formal ontology and conceptual realism

by Cocchiarella, Nino B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 111 COC] (1).
5. Dynamic epistemic logic

by Ditmarsch, Hans van | Hoek, Wiebe van der | Kooi, Barteld Pieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 121 DIT] (1).
6. Mathematics and its applications : a transcendental-idealist perspective

by Silva, Jairo Jose da.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2017Availability: Items available for loan: [Call number: 510.1 SIL] (1).

Powered by Koha